1. Alan Turing :
Author: edited by S. Barry Cooper and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
Classification :
QA29
.
T8
C65
2013
2. Alan Turing : his work and impact
Author: edited by S. Barry Cooper and Jan van Leeuwen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
Classification :
QA
29
.
T8C66
3. Algorithms - ESA '94.
Author: Jan Van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
4. Algorithms-ESA'94 : second annual European Symposium Utrecht, The Netherlands, September 26-28, 1994 : Proceedings
Author: Jan Van Leeuwen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
855
5. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Author: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
2076
6. Computer science today : recent trends and developments
Author: Jan van Leeuwen, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
L28
Vol
.
1000
7. Graph-theoretic concepts in computer science : 19th International Workshop, WG'93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
Author: Jan van Leeuwen, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Graph theory
Classification :
QA
76
.
L28
Vol
.
790
8. Graph-theoretic concepts in computer science : 19th international workshop, WG 93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
Author: Jan van Leeuwen, ed
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Graph theory - Congresses , Computer science - Congresses
Classification :
QA
166
.
G7172
1993
9. Handbook of theoretical computer science
Author: edited by Jan van Leeuwen
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
H279
1990
10. Handbook of theoretical computer science
Author: / edited by Jan van Leeuwen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer science
Classification :
QA76
.
H279
1990
11. Handbook of theoretical computer science
Author: edited by Jan Van Leeuwen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
H25
1990
12. Handbook of theoretical computer science
Author: / edited by Jan van Leeuwen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science
Classification :
QA76
.
H279
1990
13. Nonlinear Data Assimilation
Author: / Peter Jan Van Leeuwen, Yuan Cheng, Sebastian Reich
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
14. SOFSEM 2007
Author: \ Jan van Leeuwen ... [et al.] (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Congresses.,Computers -- Congresses.,نرمافزار -- کنگره ها,کامپیوترها -- کنگرهها
Classification :
E-Book
,
15. Topics in the theory of computation :
Author: edited by Marek Karpinski and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
Classification :
QA267
.
I56
1983
16. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
Classification :
QA
,
267
,.
I56
,
1983
17. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA267
،.
I56
1983
